Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
51	A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16 Theoretical computer science Logic in computer science Formal methods Mathematical logic KeY Formal verification Dynamic logic Automated theorem proving Logic Language-based security
52	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-10-06 07:21:32 Automated theorem proving Theoretical computer science Mathematics Heuristics Rippling Mathematical logic Lemma Unification
53	Dynamic Detection of Deterministic Computations in Non-Deterministic Functional-Logic Programs Rafael Caballero and Francisco J. L´opez-Fraguas Dpto. de Sistemas Inform´ aticos y Programaci´ Add to Reading List Source URL: gpd.sip.ucm.es Language: English - Date: 2007-02-11 08:26:50
54	Project Methodology Realtimecarbon.org is a joint project by AMEE and Demand Logic, sponsored by a charitable grant from Dynamic Demand. By providing a value for the carbon intensity of electricity, RealtimeCarbon.org h Add to Reading List Source URL: www.realtimecarbon.org Language: English - Date: 2009-07-15 12:40:21
55	Learning by Erasing in Dynamic Epistemic Logic Nina Gierasimczuk? Institute for Logic, Language, and Computation, University of Amsterdam Institute of Philosophy, University of Warsaw Add to Reading List Source URL: www.ninagierasimczuk.com Language: English - Date: 2012-04-16 16:00:45
56	Two principles of dynamic constructivism Giovanni Sambin Logic Colloquium, special session on Philosophy of Mathematics and Computer Science Add to Reading List Source URL: www.cl.eps.manchester.ac.uk Language: English - Date: 2014-06-13 10:48:35
57	VAMPA Dynamic Logic for Deductive Verification of Concurrent Java Programs With Condition Variables Bernhard Beckert and Vladimir Klebanov Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-02-04 15:10:30
58	Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Formal languages Logic in computer science Complexity classes Automata theory Temporal logic Linear temporal logic Modal logic Dynamic logic Model checking Theoretical computer science Mathematics Logic
59	BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 09:45:05 Complexity classes Algorithm Mathematical logic Model of computation PP Dynamic problem P ACC0 Circuit complexity Theoretical computer science Computational complexity theory Applied mathematics
60	The Elements of Computing Systems Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-23 06:35:33 Electronics Digital electronics Logic gate Flip-flop Synchronous dynamic random-access memory Dynamic random-access memory Electronic engineering Computer hardware Computer memory

UPDATE